Free shipping on all orders! No minimum purchase required.
Formal Techniques for Distributed Systems
by Dirk Beyer (Editor), Michele Boreale (Editor)
